$\forall$$A$, $B$:MsgA. Feasible($A$) $\Rightarrow$ Feasible($B$) $\Rightarrow$ ($A$ $\Vert\!+$ $B$) $\Rightarrow$ Feasible($A$ $\oplus$ $B$)